]> dgit.raspbian.org Git - gnome-shell.git/commit
boxpointer: Use the -arrow-rise as padding instead of a magic number
authorDebarshi Ray <debarshir@gnome.org>
Fri, 31 Aug 2012 22:49:14 +0000 (00:49 +0200)
committerDebarshi Ray <debarshir@gnome.org>
Sat, 1 Sep 2012 11:14:45 +0000 (13:14 +0200)
commit43caace1b6918890fd9b5893ffd2cf34406089a5
tree48eec787253e584d14ba32a6e22602b8f9363958
parent167ed7c35bbbbf62e79ea9cf7f09d1a7964c6f90
boxpointer: Use the -arrow-rise as padding instead of a magic number

This makes sense if we want to follow what the following comment says:
// We also want to keep it onscreen, and separated from the
// edge by the same distance as the main part of the box is
// separated from its sourceActor

Using a magic number violates the "separated from the edge ...
separated from its sourceActor" part.

https://bugzilla.gnome.org/show_bug.cgi?id=682343
js/ui/boxpointer.js